본문으로 건너뛰기

Recursive type

  • 2024-09-19
  • 별칭: 귀납 타입

타입 이론에서 자기 스스로를 지칭하여 정의된 타입을 귀납 타입이라고 한다.